Quantifying Shannon's Work Function for Cryptanalytic Attacks

Attacks on cryptographic systems are limited by the available computational resources. A theoretical understanding of these resource limitations is needed to evaluate the security of cryptographic primitives and procedures. This study uses an Attacker versus Environment game formalism based on computability logic to quantify Shannon's work function and evaluate resource use in cryptanalysis. A simple cost function is defined which allows to quantify a wide range of theoretical and real computational resources. With this approach the use of custom hardware, e.g., FPGA boards, in cryptanalysis can be analyzed. Applied to real cryptanalytic problems, it raises, for instance, the expectation that the computer time needed to break some simple 90 bit strong cryptographic primitives might theoretically be less than two years.Comment: 19 page

Quantifying Resource Use in Computations

It is currently not possible to quantify the resources needed to perform a computation. As a consequence, it is not possible to reliably evaluate the hardware resources needed for the application of algorithms or the running of programs. This is apparent in both computer science, for instance, in cryptanalysis, and in neuroscience, for instance, comparative neuro-anatomy. A System versus Environment game formalism is proposed based on Computability Logic that allows to define a computational work function that describes the theoretical and physical resources needed to perform any purely algorithmic computation. Within this formalism, the cost of a computation is defined as the sum of information storage over the steps of the computation. The size of the computational device, eg, the action table of a Universal Turing Machine, the number of transistors in silicon, or the number and complexity of synapses in a neural net, is explicitly included in the computational cost. The proposed cost function leads in a natural way to known computational trade-offs and can be used to estimate the computational capacity of real silicon hardware and neural nets. The theory is applied to a historical case of 56 bit DES key recovery, as an example of application to cryptanalysis. Furthermore, the relative computational capacities of human brain neurons and the C. elegans nervous system are estimated as an example of application to neural nets.Comment: 26 pages, no figure

Spin Currents Induced by Nonuniform Rashba-Type Spin-Orbit Field

We study the spin relaxation torque in nonmagnetic or ferromagnetic metals with nonuniform spin-orbit coupling within the Keldysh Green's function formalism. In non-magnet, the relaxation torque is shown to arise when the spin-orbit coupling is not uniform. In the absence of an external field, the spin current induced by the relaxation torque is proportional to the vector chirality of Rashba-type spin-orbit field (RSOF). In the presence of an external field, on the other hand, spin relaxation torque arises from the coupling of the external field and vector chirality of RSOF. Our result indicates that spin-sink or source effects are controlled by designing RSOF in junctions.Comment: 3 figure

Basic obstacle for electrical spin-injection from a ferromagnetic metal into a diffusive semiconductor

We have calculated the spin-polarization effects of a current in a two dimensional electron gas which is contacted by two ferromagnetic metals. In the purely diffusive regime, the current may indeed be spin-polarized. However, for a typical device geometry the degree of spin-polarization of the current is limited to less than 0.1%, only. The change in device resistance for parallel and antiparallel magnetization of the contacts is up to quadratically smaller, and will thus be difficult to detect.Comment: Revtex, 4 pages, 3 figures (eps), Definition of spin pilarization changed to standard definition in GMR, some straight forward algebra removed. To appear as PRB Rap. Comm. August 15t

Spin accumulation induced resistance in mesoscopic ferromagnet/ superconductor junctions

We present a description of spin-polarized transport in mesoscopic ferromagnet-superconductor (F/S) systems, where the transport is diffusive, and the interfaces are transparent. It is shown that the spin reversal associated with Andreev reflection generates an excess spin density close to the F/S interface, which leads to a spin contact resistance. Expressions for the contact resistance are given for two terminal and four terminal geometries. In the latter the sign depends on the relative magnetization of the ferromagnetic electrodes.Comment: RevTeX 10 pages, 4 figures, submitted to Phys.Rev. Let

The effect of memory on relaxation in a scalar field theory

We derive a kinetic equation with a non-Markovian collision term which includes a memory effect, from Kadanoff-Baym equations in $\phi^4$ theory within the three-loop level for the two-particle irreducible (2PI) effective action. The memory effect is incorporated into the kinetic equation by a generalized Kadanoff-Baym ansatz.Based on the kinetic equations with and without the memory effect, we investigate an influence of this effect on decay of a single particle excitation with zero momentum in 3+1 dimensions and the spatially homogeneous case. Numerical results show that, while the time evolution of the zero mode is completely unaffected by the memory effect due to a separation of scales in the weak coupling regime, this effect leads first to faster relaxation than the case without it and then to slower relaxation as the coupling constant increases.Comment: 12 pages, 6 eps figure

Fluid dynamics of R-charged black holes

We construct electrically charged AdS_5 black hole solutions whose charge, mass and boost-parameters vary slowly with the space-time coordinates. From the perspective of the dual theory, these are equivalent to hydrodynamic configurations with varying chemical potential, temperature and velocity fields. We compute the boundary theory transport coefficients associated with a derivative expansion of the energy momentum tensor and R-charge current up to second order. In particular, we find a first order transport coefficient associated with the axial component of the current.Comment: 31 pages, v2: published version; added some references, discussion of the charge-current changed, results unchanged, v3: typo in formula (15) changed, v4: added footnote 3 in order to clarify the relation of our results to those of arXiv:0809.259

Spin dependent scattering of a domain-wall of controlled size

Magnetoresistance measurements in the CPP geometry have been performed on single electrodeposited Co nanowires exchange biased on one side by a sputtered amorphous GdCo layer. This geometry allows the stabilization of a single domain wall in the Co wire, the thickness of which can be controlled by an external magnetic field. Comparing magnetization, resistivity, and magnetoresistance studies of single Co nanowires, of GdCo layers, and of the coupled system, gives evidence for an additional contribution to the magnetoresistance when the domain wall is compressed by a magnetic field. This contribution is interpreted as the spin dependent scattering within the domain wall when the wall thickness becomes smaller than the spin diffusion length.Comment: 9 pages, 13 figure

Baryon charge from embedding topology and a continuous meson spectrum in a new holographic gauge theory

We study a new holographic gauge theory based on probe D4-branes in the background dual to D4-branes on a circle with antiperiodic boundary conditions for fermions. Field theory configurations with baryons correspond to smooth embeddings of the probe D4-branes with nontrivial winding around an S^4 in the geometry. As a consequence, physics of baryons and nuclei can be studied reliably in this model using the abelian Born-Infeld action. However, surprisingly, we find that the meson spectrum is not discrete. This is related to a curious result that the action governing small fluctuations of the gauge field on the probe brane is the five-dimensional Maxwell action in Minkowski space despite the non-trivial embedding of the probe brane in the curved background geometry.Comment: 24 pages, LaTeX, 10 figures, v4: previously ignored effects of coupling to RR-fields included, meson spectrum qualitatively changed, v5: journal versio